4.1.9 Evaluation of Algebraic Expression at some particular Real Number Definition